-
1 конструктивная логика
Большой англо-русский и русско-английский словарь > конструктивная логика
-
2 constructive logic
Большой англо-русский и русско-английский словарь > constructive logic
-
3 constructive logic
-
4 logica costruttiva
-
5 constructive logic
English-Russian dictionary of computer science and programming > constructive logic
-
6 constructive logic
-
7 constructive logic
English-Russian dictionary of computer science > constructive logic
-
8 constructive logic
Англо-русский словарь по исследованиям и ноу-хау > constructive logic
-
9 constructive logic
The English-Russian dictionary general scientific > constructive logic
-
10 constructive logic
-
11 logic
ˈlɔdʒɪk сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. clear logic ≈ четкая логика cold logic ≈ беспристрастная логика irrefutable logic ≈ неопровержимая логика deductive logic ≈ дедуктивная логика formal logic ≈ формальная логика inductive logic ≈ индуктивная логика simple logic ≈ простая логика symbolic logic ≈ символическая логика логика (наука) логика, логичность( аргументации и т. п.) ;
разумность;
закономерность - to argue with * рассуждать логично логика, неизбежный вывод;
неизбежность какого-л. поведения - the * of events логика событий (компьютерное) логическая схема алгоритм( разговорное) здравый смысл - there is no * in spending money on useless things нет никакого смысла /глупо/ тратить деньги на ерунду > to chop * спорить, препираться;
приводить противоречивые доводы belief ~ логика веры binary ~ вчт. двузначная логика byte-alignment ~ вчт. логика перегруппировки байтов command ~ вчт. логика команд common-sense ~ логика здравого смысла constructive ~ конструктивная логика control ~ вчт. управляющая логика default ~ вчт. логика рассуждений по умолчанию distributed ~ вчт. распределенное управление dynamic ~ вчт. динамическая логика first order ~ логика первого порядка formal ~ формальная логика fuzzy ~ нечеткая логика inductive ~ индуктивная логика intuitionistic ~ интуиционистская логика ladder ~ вчт. многозвенная логическая схема logic логика ~ логическая схема ~ логичность monotonic ~ монотонная логика multivalued ~ многозначная логика non-monotonic ~ немонотонная логика operational ~ логика действий presumed ~ предопределенная логика probabilitic ~ вероятностная логика probablistic ~ вероятностная логика propositional ~ пропозициональная логика pseudophysical ~ псевдофизическая логика relevance ~ логика определения релевантности second order ~ логика второго порядка spatial ~ пространственная логика stored ~ вчт. зашитый алгоритм system ~ вчт. системная логика temporal ~ вчт. временная логика ternary ~ вчт. трехзначная логика threshold ~ пороговая логика two-line ~ вчт. двухпроводная логическая схема wasted ~ вчт. лишняя логическая схема -
12 logic
[ˈlɔdʒɪk]belief logic логика веры binary logic вчт. двузначная логика byte-alignment logic вчт. логика перегруппировки байтов command logic вчт. логика команд common-sense logic логика здравого смысла constructive logic конструктивная логика control logic вчт. управляющая логика default logic вчт. логика рассуждений по умолчанию distributed logic вчт. распределенное управление dynamic logic вчт. динамическая логика first order logic логика первого порядка formal logic формальная логика fuzzy logic нечеткая логика inductive logic индуктивная логика intuitionistic logic интуиционистская логика ladder logic вчт. многозвенная логическая схема logic логика logic логическая схема logic логичность monotonic logic монотонная логика multivalued logic многозначная логика non-monotonic logic немонотонная логика operational logic логика действий presumed logic предопределенная логика probabilitic logic вероятностная логика probablistic logic вероятностная логика propositional logic пропозициональная логика pseudophysical logic псевдофизическая логика relevance logic логика определения релевантности second order logic логика второго порядка spatial logic пространственная логика stored logic вчт. зашитый алгоритм system logic вчт. системная логика temporal logic вчт. временная логика ternary logic вчт. трехзначная логика threshold logic пороговая логика two-line logic вчт. двухпроводная логическая схема wasted logic вчт. лишняя логическая схема -
13 constructive logic
Математика: конструктивная логика -
14 logique instructive
сущ.Французско-русский универсальный словарь > logique instructive
-
15 positive
1. n нечто положительное, положительностьpositive balance — положительный итог; положительный остаток
positive logic — положительная логика; позитивная логика
2. n нечто реальное, реальностьhis surmise was transcribed by others as a positive statement — его догадка трансформировалась в сознании других людей в утверждение; то, что он высказал как догадку, было воспринято другими как утверждение
3. n грам. положительная степень4. n фото позитив5. n эл. положительная пластина6. n муз. церк. позитив7. a несомненный; определённый, совершенно ясный8. a точный, определённый9. a решительный; категорический10. a положительный, утвердительный11. a верный, достоверный12. a уверенный, убеждённый в правильностиare you sure? — Yes, I am positive — вы уверены? — Да, совершенно
13. a самоуверенный14. a настоящий, определённый15. a разг. абсолютный, сущий; законченный16. a абсолютный, безусловный, безотносительный17. a позитивный; конструктивный18. a фото позитивный19. a тех. принудительный; нагнетательный; вдувной20. a спец. движущийся, вращающийся по часовой стрелке; правовращающийся21. a опт. вращающий плоскость поляризации вправо22. a опт. собирающийСинонимический ряд:1. actual (adj.) absolute; actual; factual; genuine; hard; sure-enough2. affirmative (adj.) affirmative; hopeful; optimistic3. beneficial (adj.) beneficial; constructive; functional; practical4. certain (adj.) assured; certain; cocksure; confident; convinced; inarguable; incontrovertible; indubitable; irrebuttable; irrefutable; overbearing; over-confident; secure; sure; uncontestable; uncontrovertible; undeniable; undisputable; undoubtable; undoubting; unhesitating; unquestionable5. decided (adj.) arbitrary; decided; decisive; determined; enacted; unconditional6. emphatic (adj.) assertive; dogmatic; emphatic; expressed; obstinate; peremptory; resolute; stated7. favourable (adj.) assenting; favourable8. incontestable (adj.) categorical; clear; clear-cut; definite; direct; explicit; express; incontestable; indisputable; precise; specific; unambiguous; unequivocal9. right-handed (adj.) clockwise; dextrorotatory; right-handed10. utter (adj.) all-fired; arrant; black; blamed; blank; blankety-blank; blasted; bleeding; blessed; blighted; blinding; blithering; blue; complete; confounded; consummate; crashing; dad-blamed; dad-blasted; dad-burned; damned; dang; darn; dashed; deuced; doggone; double-distilled; durn; utterАнтонимический ряд:contingent; contradictory; dependent; destructive; disputable; doubtful; dubious; enigmatic; equivocal; fictitious; hazy; insecure; negative; questionable
См. также в других словарях:
КОНСТРУКТИВНАЯ ЛОГИКА — 1) то же, что и интуиционистская логика; 2) ветвь логики, в которой изучаются финитные (см. Финитизм) рассуждения о конструктивных объектах и процессах (см. Конструктивное направление) и строится соответств. семантика. В К. л. отвергается … Философская энциклопедия
конструктивная логика — КОНСТРУКТИВНАЯ ЛОГИКА (от лат. constructio построение) совокупность логических принципов, признаваемых приемлемыми представителями конструктивизма в математике. Предметом конструктивизма являются конструктивные объекты и конструктивные… … Энциклопедия эпистемологии и философии науки
Конструктивная логика — логика, развиваемая в соответствии с принципами т. н. конструктивного направления (См. Конструктивное направление), отличающимися требованием конструктивности (возможности эффективного построения) объектов, существование которых… … Большая советская энциклопедия
КОНСТРУКТИВНАЯ ЛОГИКА — раздел математической логики, изучающий рассуждения о конструктивных объектах и конструкциях. При таком понимании К. л. шире, чем логика конструктивной математики. Самое заметное отличие от традиционной (классической) логики состоит в отсутствии… … Математическая энциклопедия
конструктивная логика — одно из направлений современной логики, изучающее рассуждения о конструктивных объектах и процессах. Конструктивные объекты представляют собой или отдельные, ясно отличаемые друг от друга знаки, или последовательности таких знаков, получаемые… … Словарь терминов логики
Логика — Гр … Википедия
Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
КОНСТРУКТИВНАЯ МАТЕМАТИКА — конструктивное направление в математике, математика, строящаяся в соответствии с тем или иным конструктивным математич. мировоззрением, обыкновенно стремящимся связывать утверждения о существовании математнч. объектов с возможностью их построения … Математическая энциклопедия
ЛОГИКА — наука о формах, законах и методах правильного (т. с. построенного в соответствии с определенными логическими стандартами) мышления. Различают формальную и содержательную логику. Формальная логика изучает мышление опосредованно, только через… … Философия науки: Словарь основных терминов
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия